FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, ... I: 1708 (Lecture Notes in Computer Science)
by Jeannette M. Wing,Jim Woodcook,Jim Davies
ISBN 13: 9783540665878
Format: Paperback (964 pages) Publisher: Springer Published: 13 Sep 1999
Save for later